Non-archimedean Metrics in Topology
نویسنده
چکیده
We shall find the following necessary and sufficient conditions: I. the space is metrizable (cf. Nagata [l], Smirnof [2]), II. the space is strongly O-dimensional. Property II means that any two closed disjoint sets in the space can be separated (by the empty set). We shall prove furthermore that the conditions I and II are equivalent to the following topological properties: the space is a Hausdorff space having a O-dimensional NS-base. We call an open base of the space an NS-base, if it is the sum of a countable number of locally finite families (a family of open sets is locally finite, if any point of the space is contained in an open set which intersects at most a finite number of sets of the family). If the sets of this base are both open and closed, we call it a O-dimensional NS-base. In a metric space M a non-archimedean metric can therefore be introduced (in a topologically equivalent way) if and only if M is strongly O-dimensional. This settles a problem raised by A. F. Monna [4] some years ago. The question remains unsolved as to whether the condition of strong O-dimensionality may be replaced by a weaker form of O-dimensionality (any point and closed set, mutually disjoint, can be separated). Of course the answer is positive in the case of separable metric spaces, for both notions are then equivalent (cf. [3, p. 15]). However, it seems probable to me that these notions are not equivalent in general metric spaces (cf. [3, appendix], for the case of more general topological spaces). Does there exist a (weakly) O-dimensional metric space in which two certain disjoint closed sets cannot be separated? In such a space it would be impossible to introduce a non-archimedean metric.
منابع مشابه
Non–archimedean Sequential Spaces and the Finest Locally Convex Topology with the Same Compactoid Sets
For a non-Archimedean locally convex space (E, τ), the finest locally convex topology having the same as τ convergent sequences and the finest locally convex topology having the same as τ compactoid sets are studied.
متن کاملPositive-additive functional equations in non-Archimedean $C^*$-algebras
Hensel [K. Hensel, Deutsch. Math. Verein, {6} (1897), 83-88.] discovered the $p$-adic number as a number theoretical analogue of power series in complex analysis. Fix a prime number $p$. for any nonzero rational number $x$, there exists a unique integer $n_x inmathbb{Z}$ such that $x = frac{a}{b}p^{n_x}$, where $a$ and $b$ are integers not divisible by $p$. Then $|x...
متن کاملSuperstability of $m$-additive maps on complete non--Archimedean spaces
The stability problem of the functional equation was conjectured by Ulam and was solved by Hyers in the case of additive mapping. Baker et al. investigated the superstability of the functional equation from a vector space to real numbers. In this paper, we exhibit the superstability of $m$-additive maps on complete non--Archimedean spaces via a fixed point method raised by Diaz and Margolis.
متن کاملSystem of AQC functional equations in non-Archimedean normed spaces
In 1897, Hensel introduced a normed space which does not have the Archimedean property. During the last three decades theory of non--Archimedean spaces has gained the interest of physicists for their research in particular in problems coming from quantum physics, p--adic strings and superstrings. In this paper, we prove the generalized Hyers--Ulam--Rassias stability for a ...
متن کاملCountable composition closedness and integer-valued continuous functions in pointfree topology
For any archimedean$f$-ring $A$ with unit in whichbreak$awedge (1-a)leq 0$ for all $ain A$, the following are shown to be equivalent: 1. $A$ is isomorphic to the $l$-ring ${mathfrak Z}L$ of all integer-valued continuous functions on some frame $L$. 2. $A$ is a homomorphic image of the $l$-ring $C_{Bbb Z}(X)$ of all integer-valued continuous functions, in the usual se...
متن کاملFixed Point Theorems for Single Valued Mappings Satisfying the Ordered non-Expansive Conditions on Ultrametric and Non-Archimedean Normed Spaces
In this paper, some fixed point theorems for nonexpansive mappings in partially ordered spherically complete ultrametric spaces are proved. In addition, we investigate the existence of fixed points for nonexpansive mappings in partially ordered non-Archimedean normed spaces. Finally, we give some examples to discuss the assumptions and support our results.
متن کامل